ALPS: A Logic for Program Synthesis
نویسندگان
چکیده
Let us briefly describe a pedagogical example from [15] and a real-life example. Our pedagogical example is a triangle. A triangle is described by its angles A,B, C and side lengths a, b, c, and we know the following relations between them: A+ B+C = π (the sum of the angles is 180, or π radians), a2+b2−2ab cosC = c and similar expressions for a and b (cosine theorem), and a/ sin A = b/ sin B = c/ sin C (sine theorem). Now we can ask all kinds of questions: If we know a, b and c, can we determine A? If we know a, b and A, how to compute b? etc. For example, if we know a, b and c, and we want to determine A, then:
منابع مشابه
ALPS : A Logic for Program Synthesis ( Motivated by Fuzzy Logic )
| One of the typical problems in engineering and scientiic applications is as follows: we know the values x 1 ; : : : ; xn of some quantities, we are interested in the values of some other quantities y 1 For example, we may know an algorithm to compute y 2 from x 1 ; x 3 and y 1 ; we may also know an equation F (x 1 ; x 2 ; y 1) = 0 that relates these values, etc. The question is: can we comput...
متن کاملLogic Program Synthesis
> This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a speciication, how do we get a logic program satisfying the speciication? Logic programming provides a uniquely nice and uniform framework for program synthesis since the speciication, the synthesis process and...
متن کاملALPS-HI: An Annotated Logic Programming System with Hypothetical Implications
As a knowledge base grows large, it can be inconsistent in many ways. However, until now, there is no logic programming systems that have enough ability to deal with inconsistent knowledge. Blair and Subrahmanian proposed an approach, named "Annotated Logic Programming" (ALP for short), to describe inconsistent knowledge. However, ALP does not provide sufficient facilities to help users to deal...
متن کاملLogic Frameworks for Logic Programs
We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their specifications. We illustrate this using Paulson’s I...
متن کاملAnalogical Logic Program Synthesis from Examples
The purpose of this paper is to present a theory and an algorithm for analogical logic program synthesis from examples. Given a source program and examples, the task of our algorithm is to nd a program which explains the examples correctly and is similar to the source program. Although we can de ne a notion of similarity in various ways, we consider a class of similarities from the viewpoint of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008